9455 search results - page 136 / 1891 » The Modelling Language Zinc |
139
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
114
Voted
WWW
2006
ACM
16 years 2 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
119
click to vote
ICSOC
2005
Springer
15 years 7 months ago
2005
Springer
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
120
click to vote
IBPRIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In a previous work, a new probabilistic context-free grammar (PCFG) model for natural language parsing derived from a tree bank corpus has been introduced. The model esti...
117
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...