1199 search results - page 213 / 240 » Software Verification and Software Engineering a Practitione... |
133
click to vote
CODES
2007
IEEE
15 years 5 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
105
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic instit...
104
click to vote
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
137
click to vote
DSVIS
2006
Springer
15 years 5 months ago
2006
Springer
The development of video games is a complex software engineering activity bringing together large multidisciplinary teams under stringent constraints. While much has been written a...
123
Voted
AISS
2010
14 years 11 months ago
2010
The concept of Service Oriented Architecture (SOA) has had a significant impact not only on software engineering but on the analysis of an organization's business layer as we...