262 search results - page 39 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
63
Voted
SOCRATES
2008
14 years 11 months ago
2008
The purpose of this paper is to build a picture of knowledge construction models in online education. The study describes the knowledge construction process of a group of vocation...
93
Voted
FORTE
2008
14 years 11 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
DLOG
2007
14 years 11 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
QSIC
2007
IEEE
15 years 3 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...