29172 search results - page 5561 / 5835 » Modeling Systems in CLP |
173
click to vote
SIGSOFT
2006
ACM
16 years 18 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
219
click to vote
ECCB
2005
IEEE
16 years 8 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...
196
click to vote
ESCIENCE
2005
IEEE
16 years 8 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...
202
click to vote
KBSE
2005
IEEE
16 years 7 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 7 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...