Sciweavers

620 search results - page 77 / 124
» Concrete Abstractions
Sort
View
CAISE
2009
Springer
14 years 1 months ago
Ontology-Based Description and Discovery of Business Processes
Just like web services, business processes can be stored in public repositories to be shared and used by third parties, e.g., as building blocks for constructing new business proce...
Khalid Belhajjame, Marco Brambilla
FM
2008
Springer
77views Formal Methods» more  FM 2008»
13 years 11 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
AAAI
2010
13 years 11 months ago
Relational Partially Observable MDPs
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
Chenggang Wang, Roni Khardon
PDPTA
2007
13 years 11 months ago
Communication with Super Flexible Messaging
Abstract Super Flexible Messaging (SFM) provides a powerful and elegant message passing abstraction for transferring arbitrary data between remote processes. SFM achieves the simpl...
Alexey Fedosov, Gregory Benson
DAGSTUHL
2009
13 years 11 months ago
Model-Centric, Context-Aware Software Adaptation
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
Oscar Nierstrasz, Marcus Denker, Lukas Renggli