2232 search results - page 67 / 447 » Formal Modeling and Analysis of Organizations |
TAL
2010
Springer
14 years 6 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
WETICE
2005
IEEE
15 years 5 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
102
click to vote
ICSEA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
86
Voted
BC
2005
14 years 11 months ago
2005
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
112
click to vote
ISBI
2002
IEEE
16 years 4 days ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...