575 search results - page 51 / 115 » Model Checking Restricted Sets of Timed Paths |
101
click to vote
SCCC
1998
IEEE
15 years 4 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
105
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
EDBT
2006
ACM
15 years 12 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—Path diversity works by setting up multiple parallel connections between the end points using the topological path redundancy of the network. In this paper, Forward Error Correc...
CP
2004
Springer
15 years 3 months ago
2004
Springer
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...