6768 search results - page 1242 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
118
click to vote
ADHOC
2007
15 years 3 months ago
2007
Wireless sensor networks are expected to be used in a wide range of applications from environment monitoring to event detection. The key challenge is to provide energy efficient ...
179
click to vote
ACSC
2010
IEEE
14 years 10 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...
164
click to vote
AMKM
2003
Springer
15 years 8 months ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
134
click to vote
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
118
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...