1133 search results - page 146 / 227 » Modeling and Control of Distributed Asynchronous Computation... |
140
click to vote
ACL
2006
15 years 6 months ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
130
click to vote
ACL
2006
15 years 6 months ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
139
click to vote
PVM
2007
Springer
15 years 11 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
156
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
123
click to vote
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...