3828 search results - page 257 / 766 » Proof-Based System Engineering Using a Virtual System Model |
195
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
184
click to vote
ISLPED
2007
ACM
15 years 8 months ago
2007
ACM
RTL power macromodeling is a mature research topic with a variety of equation and table-based approaches. Despite its maturity, macromodeling is not yet widely accepted as an indu...
281
click to vote
SENSYS
2006
ACM
16 years 15 days ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
190
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
188
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...