2272 search results - page 327 / 455 » Capture Complexity by Partition |
142
click to vote
TACAS
2007
Springer
16 years 14 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
270
click to vote
VLSI
2007
Springer
16 years 13 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
161
click to vote
WINE
2007
Springer
16 years 13 days ago
2007
Springer
The choice of a bidding language is crucial in auction design in order to correctly capture bidder utilities. We propose a new bidding model for the Adwords auctions of search eng...
171
click to vote
ACSC
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
151
click to vote
AINA
2006
IEEE
16 years 12 days ago
2006
IEEE
Pervasive computing is becoming a reality, thanks to advances in wireless networking and increased popularity of portable devices. Users of these devices will need support to deci...