1728 search results - page 50 / 346 » Formal Modeling of Process Migration |
94
Voted
IWANN
2005
Springer
15 years 4 months ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
111
Voted
FMICS
2007
Springer
15 years 5 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
112
Voted
UML
2001
Springer
15 years 3 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
74
Voted
BMCBI
2008
14 years 11 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
113
click to vote
HICSS
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...