4286 search results - page 343 / 858 » Formalizing Service Interactions |
163
click to vote
STEP
2005
IEEE
16 years 6 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
215
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...
130
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
178
click to vote
IRI
2005
IEEE
16 years 6 days ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
179
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...