29386 search results - page 5583 / 5878 » On modeling of self-organizing systems |
224
click to vote
ECCB
2005
IEEE
16 years 12 days ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
202
click to vote
ESCIENCE
2005
IEEE
16 years 12 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...
208
click to vote
KBSE
2005
IEEE
16 years 11 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...
168
click to vote
STEP
2005
IEEE
16 years 10 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...
179
click to vote
ACMICEC
2005
ACM
16 years 10 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...