Sciweavers

7118 search results - page 190 / 1424
» Electrical and Computer Engineering
Sort
View
82
Voted
IEEESCC
2005
IEEE
15 years 3 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
LAWEB
2005
IEEE
15 years 3 months ago
A Parallel Search Engine with BSP
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
Veronica Gil Costa, Mauricio Marín
ACMSE
2005
ACM
15 years 3 months ago
Acquiring and delivering lessons learned for NASA scientists and engineers: a dynamic approach
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...
Swapna Gupta, J. Scott Hawker, Randy K. Smith
AINA
2006
IEEE
15 years 1 months ago
Towards an Unified Experimentation Framework for Protocol Engineering
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
Laurent Dairaine, Ernesto Exposito, Herve Thalmens...
DASFAA
2004
IEEE
110views Database» more  DASFAA 2004»
15 years 1 months ago
Optimising Mediator Queries to Distributed Engineering Systems
Data and computations of a CAD system have been wrapped by a mediator system using CORBA's IIOP Protocol. This allows ad hoc declarative mediator queries to be translated into...
Mattias Nyström, Tore Risch