1472 search results - page 166 / 295 » Technique Integration for Requirements Assessment |
163
click to vote
TLCA
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
161
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
We present an approach to prevent overtesting in scan-based delay test. The test data is transformed with respect to functional constraints while simultaneously keeping as many po...
144
click to vote
ADBIS
2006
Springer
16 years 8 days ago
2006
Springer
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...
195
click to vote
ACSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
165
click to vote
ISPD
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we develop a mixed-size placement tool, Dragon2005, to solve large scale placement problems effectively. A top-down hierarchical approach based on min-cut partition...