2282 search results - page 337 / 457 » Active property checking |
131
Voted
DL
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents design considerations for the construction of advanced information environments, and a prototype interface that attempts to respond to them. The design conside...
113
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...
121
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
139
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...
132
Voted
WIA
2000
Springer
15 years 8 months ago
2000
Springer
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...