4890 search results - page 509 / 978 » From system specifications to component behavioral models |
222
click to vote
EDOC
2002
IEEE
16 years 6 days ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
204
click to vote
FUIN
2006
15 years 7 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
199
click to vote
ISJ
2002
15 years 7 months ago
2002
In recent years, an increasing amount of attention has been paid to information systems (IS) outsourcing by practitioners as well as academics. However, our understanding of the fa...
223
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In recent years, extensive studies of many interesting aspects of virtual community dynamics promoted a better understanding of this area. One of the most challenging problems fac...
217
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...