956 search results - page 85 / 192 » Languages as libraries |
157
Voted
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
131
click to vote
IHM
2005
ACM
16 years 9 days ago
2005
ACM
This paper describes a library of Dialogical Widget for a mediator architecture. It provides a development framework for software designers willing to include a conversational ass...
161
Voted
CP
2005
Springer
16 years 8 days ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
188
Voted
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...