420 search results - page 79 / 84 » A pattern language for BRMS development |
LICS
2006
IEEE
15 years 3 months 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...
78
Voted
ICWS
2009
IEEE
15 years 6 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
108
click to vote
NORDICHI
2004
ACM
15 years 2 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
ICDT
2003
ACM
15 years 2 months ago
2003
ACM
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...
181
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...