2050 search results - page 152 / 410 » A formal foundation for process modeling |
162
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...
158
click to vote
ISOLA
2007
Springer
16 years 20 days ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
144
click to vote
GBRPR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
246
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far-away plane...
159
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
We present the results of a detailed study of the Virtual Interface (VI) paradigm as a communication foundation for a distributed computing environment. Using Active Messages and ...