4209 search results - page 387 / 842 » Abstract Dialectical Frameworks |
178
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
171
click to vote
CBSE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
180
click to vote
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
199
click to vote
ISLPED
2005
ACM
16 years 9 days ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
184
click to vote
PROMAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...