4250 search results - page 571 / 850 » Understanding the Requirements on Modelling Techniques |
213
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
251
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
175
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
236
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
212
click to vote
ISCAS
2002
IEEE
16 years 7 days ago
2002
IEEE
Multiple memory module architecture offers higher performance by providing potentially doubled memory bandwidth. Two key problems in gaining high performance in this kind of archi...