1065 search results - page 21 / 213 » Towards a Meaning of LIFE |
DILS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Workflows are gaining importance as a means for modelling and enacting in silico scientific experiments. A major issue which arises when aggregating a collection of analy...
PERCOM
2009
ACM
15 years 5 months ago
2009
ACM
—A better understanding of people’s daily behaviors with respect to the underlying wireless network is a crucial step toward Wi-Fi based pervasive networking. Existing analyses...
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
103
click to vote
AFP
2004
Springer
15 years 3 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
IWSSD
1993
IEEE
15 years 2 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...