8109 search results - page 98 / 1622 » A Model of Component-Based Programming |
156
Voted
IWFM
2003
15 years 4 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...
107
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...
125
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...
142
Voted
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...
119
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...