190 search results - page 29 / 38 » Dynamic Control Operators in Type Theory |
ANSOFT
2002
13 years 6 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
MIDDLEWARE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Middleware for pervasive spaces has to meet conflicting requirements. It has to both maximize the utility of the information exposed and ensure that this information doe...
ISLPED
1999
ACM
13 years 11 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
ISLPED
2003
ACM
14 years 23 hour ago
2003
ACM
Static and dynamic power for strained-Si device is analyzed and compared with conventional bulk-Si technology. Optimum device design points are suggested with controlling physical...
GRID
2007
Springer
14 years 28 days ago
2007
Springer
— In order for Grids to become relied upon for critical infrastructure and reliable scientific computing, Grid-wide management must be automated so that it is possible in quickly...