9443 search results - page 1623 / 1889 » Web-centric language models |
167
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
160
click to vote
ADBIS
2006
Springer
16 years 19 days ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
181
click to vote
MSWIM
2006
ACM
16 years 18 days ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
178
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
The rapid growth of service coordination languages creates a need for methodological support for coordination design. Coordination design differs from workflow design because a ...
198
click to vote
ASWSD
2004
Springer
16 years 1 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...