Sciweavers

1746 search results - page 38 / 350
» Residual for Component Specifications
Sort
View
ASPDAC
2000
ACM
157views Hardware» more  ASPDAC 2000»
13 years 11 months ago
An application specific Java processor with reconfigurabilities
The paper presents an application specific Java processor including reconfigurabilities, which is a DLX like pipeline processor with 5 stages and executes Java byte codes directly....
Shinji Kimura, Hiroyuki Kida, Kazuyoshi Takagi, Ta...
JSS
2008
136views more  JSS 2008»
13 years 7 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
ITCC
2005
IEEE
14 years 1 months ago
An Analysis of Reliable Delivery Specifications for Web Services
Reliable delivery of messages is now a key component of the Web Services roadmap, with two promising, and competing, specifications in this area viz. WS-Reliability (WSR) from OAS...
Shrideep Pallickara, Geoffrey Fox, Sangmi Lee Pall...
GCC
2004
Springer
14 years 1 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
BIRTHDAY
2004
Springer
13 years 11 months ago
Object-Oriented Specification and Open Distributed Systems
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
Einar Broch Johnsen, Olaf Owe