Sciweavers

1949 search results - page 37 / 390
» Protective Interface Specifications
Sort
View
FDL
2005
IEEE
14 years 1 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
ESWS
2007
Springer
13 years 11 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
CASCON
2000
85views Education» more  CASCON 2000»
13 years 9 months ago
Web-based specification and integration of legacy services
With the explosive growth of the Internet, businesses of all sizes aim on applying networkwide solutions to their IT infrastructures, migrating their legacy business processes int...
Ying Zou, Kostas Kontogiannis
LOPSTR
1998
Springer
13 years 11 months ago
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
Jeffrey Van Baalen, Steve Roach
ANSS
2007
IEEE
13 years 11 months ago
MDL, A Domain-Specific Language for Molecular Dynamics
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
Trevor M. Cickovski, Chris Sweet, Jesús A. ...