Sciweavers

10274 search results - page 153 / 2055
» Lean Software Development
Sort
View
AVI
2010
15 years 7 months ago
Future development environments for computational scientists
Computational Scientists are both creators and end-users of scientific models. Different aspects to their work target different audiences and generally require different developme...
Andreas Heil, Matthew J. Smith, Alexander Brä...
EWSA
2004
Springer
15 years 11 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
Susanne Graf, Jozef Hooman
ICDE
1999
IEEE
109views Database» more  ICDE 1999»
16 years 7 months ago
On the Semantics of Complex Events in Active Database Management Systems
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
Detlef Zimmer, Rainer Unland
CHI
2002
ACM
16 years 6 months ago
Unremarkable computing
In this paper, we seek to contribute to the Ubiquitous Computing agenda by focusing on one of its earliest, but most difficult, design ambitions ? making technology "invisibl...
Peter Tolmie, James Pycock, Tim Diggins, Allan Mac...
SPIN
2009
Springer
16 years 20 days ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...