4469 search results - page 837 / 894 » A Language for Role Specifications |
162
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
169
click to vote
COMSWARE
2007
IEEE
16 years 6 days ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
158
click to vote
APCSAC
2006
IEEE
15 years 12 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
133
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
Simple resource specification, resource selection, and effective binding are critical capabilities for Grid middleware. We the Virtual Grid, an abstraction for dynamic grid applic...
175
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
While storytelling has long been recognized as an important part of effective knowledge management in organizations, knowledge management technologies have generally not distingui...