Sciweavers

7202 search results - page 1288 / 1441
» Software System Engineering: A Tutorial
Sort
View
166
Voted
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
16 years 1 months ago
Issues Related to Development of E/E Product Line Architectures in Heavy Vehicles
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
Peter Wallin, Stefan Johnsson, Jakob Axelsson
CSE
2009
IEEE
16 years 1 months ago
Autonomous Management and Control of Sensor Network-Based Applications
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
Antonio G. Ruzzelli, Conor Muldoon, Anthony Schoof...
ATAL
2009
Springer
16 years 26 days ago
Multiagent commitment alignment
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
Amit K. Chopra, Munindar P. Singh
FSTTCS
2009
Springer
16 years 26 days ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
ISORC
2007
IEEE
16 years 17 days ago
Experiences from Applying WCET Analysis in Industrial Settings
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
Jan Gustafsson, Andreas Ermedahl
« Prev « First page 1288 / 1441 Last » Next »