3119 search results - page 360 / 624 » Abstract Requirement Analysis in Multiagent System Design |
133
Voted
ISCAS
2007
IEEE
16 years 13 days ago
2007
IEEE
— Many application-specific wireless sensor network (WSN) systems require small size and low power features due to their limited resources, and their use in distributed, wireles...
141
click to vote
CII
2006
15 years 6 months ago
2006
This paper is based on the results from the project PROTEUS sponsored by the French Ministry of Economy, Finance and Industry and the Federal Ministry of Education and Research of...
163
click to vote
COMPSAC
2008
IEEE
16 years 18 days ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
187
click to vote
ICCCN
2008
IEEE
16 years 18 days ago
2008
IEEE
: In this paper, we propose an autonomic management framework (ASGrid) to address the requirements of emerging large-scale applications in hybrid grid and sensor network systems. T...
168
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...