1555 search results - page 248 / 311 » Using Macromodels to Manage Collections of Related Models |
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
ICSM
1997
IEEE
14 years 1 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
ECOOP
2006
Springer
14 years 25 days ago
2006
Springer
Object-oriented programs often require large heaps to run properly or meet performance goals. They use high-overhead collections, bulky data models, and large caches. Discovering t...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Modeling synthetic characters which interact with objects in dynamic virtual worlds is important when we want the agents to act in an autonomous and non-preplanned way. Such inter...
HPDC
2010
IEEE
13 years 9 months ago
2010
IEEE
In this paper we explore the problems of storing and reasoning about data collected from very large-scale wireless sensor networks (WSNs). Potential worldwide deployment of WSNs f...