3028 search results - page 438 / 606 » Integrating Temporal Logics |
SP
2002
IEEE
13 years 9 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...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
IEEEHPCS
2010
13 years 8 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
KI
2010
Springer
13 years 8 months ago
2010
Springer
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
ICDAR
2011
IEEE
12 years 9 months ago
2011
IEEE
– Better understanding the document logical components is crucial to many applications, e.g., document classification or data integration. As the development of digital libraries...