Sciweavers

3745 search results - page 245 / 749
» Sonic: System Description
Sort
View
NOSSDAV
2005
Springer
16 years 5 days ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...
ECP
1997
Springer
68views Robotics» more  ECP 1997»
15 years 11 months ago
Ignoring Irrelevant Facts and Operators in Plan Generation
It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan sy...
Bernhard Nebel, Yannis Dimopoulos, Jana Koehler
ASWSD
2006
Springer
15 years 10 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
EWSPT
1995
Springer
15 years 10 months ago
Process Viewpoints
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...
Ian Sommerville, Gerald Kotonya, Stephen Viller, P...
REST
2010
ACM
15 years 8 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...