347 search results - page 38 / 70 » From Separation Logic to First-Order Logic |
168
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
155
click to vote
MEDINFO
2007
15 years 7 months ago
2007
After a critical review of the present architecture of SNOMED CT, addressing both logical and ontological issues, we present a roadmap towards an overall improvement of this termi...
165
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
286
click to vote
LCC
1994
15 years 9 months ago
1994
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
135
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...