2106 search results - page 246 / 422 » Specifying C concepts |
147
Voted
IJCSA
2006
15 years 3 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
160
click to vote
IJES
2006
15 years 3 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
109
click to vote
JAIR
2008
15 years 3 months ago
2008
We present the design and analysis of the first fully expressive, iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language (TBBL) that is co...
116
click to vote
JNS
2008
15 years 3 months ago
2008
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to de...
142
Voted
JWSR
2008
2008
DsCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages
15 years 3 months ago
BPEL is emerging as an open-standards language for Web service composition. However, its procedural style can lead to inflexible and tangled code for managing a crosscutting aspec...