738 search results - page 56 / 148 » Semantic parameterization: A process for modeling domain des... |
171
click to vote
GRID
2003
Springer
15 years 11 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
181
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
157
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
149
click to vote
DATE
2006
IEEE
16 years 4 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
152
click to vote
ICTAI
2008
IEEE
16 years 15 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...