1809 search results - page 225 / 362 » Software Model Checking Using Linear Constraints |
118
click to vote
JSAC
2011
14 years 9 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
146
Voted
SIGSOFT
2002
ACM
16 years 3 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
136
click to vote
CONSTRAINTS
2006
15 years 2 months ago
2006
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
122
click to vote
SECON
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
147
click to vote
SSD
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...