1422 search results - page 199 / 285 » Complementation in Abstract Interpretation |
137
Voted
IJAOSE
2010
15 years 2 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
150
click to vote
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
221
Voted
VLDB
2005
ACM
16 years 3 months ago
2005
ACM
Abstract Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that "the sensornet is a database" i...
124
click to vote
TCC
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. For secure two-party and multi-party computation with abort, classification of which primitives are complete has been extensively studied in the literature. However, for...
164
click to vote
BIBM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Unacceptable execution time of Non-rigid registration (NRR) often presents a major obstacle to its routine clinical use. Parallel computing is an effective way to accele...