7961 search results - page 74 / 1593 » Input-Output Model Programs |
128
Voted
ILC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
154
Voted
IWFM
2003
15 years 3 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
106
Voted
AO
2007
15 years 2 months ago
2007
A number of proposals exist how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the c...
123
click to vote
BIBM
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
139
click to vote
SCCC
1998
IEEE
15 years 6 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...