964 search results - page 118 / 193 » Scenario-driven modeling and validation of requirements mode... |
174
click to vote
FASE
2004
Springer
15 years 11 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...
150
click to vote
VTC
2007
IEEE
16 years 18 days 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 ...
162
click to vote
ICOST
2007
Springer
16 years 14 days 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 ...
158
click to vote
LADS
2007
Springer
16 years 14 days 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 ...
151
click to vote
PATMOS
2007
Springer
16 years 13 days 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...