446 search results - page 16 / 90 » SP-to-SP service ordering specification and its implementati... |
INTERACT
2003
13 years 9 months ago
2003
: The concept of Learning Objects has been introduced in the e-learning field to enhance the accessibility, reusability, and interoperability of learning content. Despite intensive...
EDOC
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper describes the deployment of a Service Oriented Architecture in the specific context of the “Business Communities” i.e. Communities of heterogeneous actors that coop...
ER
2007
Springer
14 years 1 months ago
2007
Springer
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
WADT
1998
Springer
13 years 12 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....