1548 search results - page 142 / 310 » Semantics and Extensions of WS-Agreement |
249
Voted
JIT
2005
Springer
16 years 13 days ago
2005
Springer
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...
204
click to vote
JELIA
2004
Springer
16 years 9 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
165
click to vote
FDL
2003
IEEE
16 years 7 days ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
152
Voted
TOOLS
2010
IEEE
16 years 1 days ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
167
click to vote
DEXAW
2002
IEEE
15 years 12 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...