1226 search results - page 28 / 246 » Generating Abstractions from Static Domain Analysis |
SPLC
2008
13 years 11 months ago
2008
Domain analysis involves not only looking at standard requirements documents (e.g., use case specifications) but also at customer information packs, market analyses, etc. Looking ...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
WISEC
2010
ACM
14 years 3 months ago
2010
ACM
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...
LSSC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this study, the topics of grid generation and FEM applications are studied together following their natural synergy. We consider the following three grid generators: N...
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...