Sciweavers

122 search results - page 22 / 25
» A Compositional Framework for Service Interaction Patterns a...
Sort
View
SECURWARE
2008
IEEE
14 years 1 months ago
Rating Agencies Interoperation for Peer-to-Peer Online Transactions
— In current peer-to-peer systems users interact with unknown services and users for the purpose of online transactions such as file sharing and trading of commodities. Peer-to-...
Mihaela Ion, Hristo Koshutanski, Volker Hoyer, Lui...
STEP
2003
IEEE
14 years 21 days ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
13 years 12 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
WWW
2005
ACM
14 years 8 months ago
Improving portlet interoperability through deep annotation
Portlets (i.e. multi-step, user-facing applications to be syndicated within a portal) are currently supported by most portal frameworks. However, there is not yet a definitive ans...
Arantza Irastorza, Jon Iturrioz, Oscar Díaz
ENTCS
2008
109views more  ENTCS 2008»
13 years 7 months ago
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
Ezio Bartocci, Flavio Corradini, Maria Rita Di Ber...