964 search results - page 118 / 193 » Scenario-driven modeling and validation of requirements mode... |
FASE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
—The distribution of the delay is a very important measure to determine the performance of a WLAN. Indeed, realtime applications typically require that their packets reach their ...
ICOST
2007
Springer
14 years 4 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
LADS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
PATMOS
2007
Springer
14 years 4 months ago
2007
Springer
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...