29147 search results - page 5584 / 5830 » System Modeling Resurrected |
191
click to vote
ESCIENCE
2005
IEEE
16 years 6 days ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
201
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
163
click to vote
STEP
2005
IEEE
16 years 4 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...
174
click to vote
ACMICEC
2005
ACM
16 years 4 days ago
2005
ACM
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
144
click to vote
PADS
2005
ACM
16 years 4 days ago
2005
ACM
Most well-known Internet worms, such as Code Red, Slammer, and Blaster, infected vulnerable computers by scanning the entire Internet IPv4 space. In this paper, we present a new s...