4286 search results - page 825 / 858 » Formalizing Service Interactions |
123
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
132
click to vote
C5
2004
IEEE
15 years 5 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
106
click to vote
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
110
click to vote
AIIDE
2008
15 years 4 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
111
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...