1548 search results - page 281 / 310 » Semantics and Extensions of WS-Agreement |
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
GPCE
2007
Springer
14 years 4 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
PASTE
2005
ACM
14 years 3 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...