2272 search results - page 221 / 455 » Validity Invariants and Effects |
FASE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
GROUP
2007
ACM
14 years 2 months ago
2007
ACM
This study examines dating strategies in Social Networking Sites (SNS) and the features that help participants achieve their dating goals. Qualitative data suggests the SNS featur...
HPCC
2007
Springer
14 years 2 months ago
2007
Springer
In wireless sensor networks with many-to-one transmission mode, a multi-objective TDMA (Time Division Multiple Access) scheduling model is presented, which concerns about the packe...
CODES
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
CBSE
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...