1247 search results - page 123 / 250 » Reasoning about Function Objects |
153
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
128
click to vote
ISCAS
2007
IEEE
16 years 13 days ago
2007
IEEE
— I/Q imbalance has been identified as one of the most serious concerns in the practical implementation of the direct conversion receiver architecture. Facing the performance-de...
178
click to vote
QEST
2007
IEEE
16 years 13 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
189
click to vote
DALT
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
157
click to vote
RIDE
1999
IEEE
15 years 10 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...