3943 search results - page 351 / 789 » Architecture-Level Requirements Specification |
199
click to vote
ENTCS
2006
15 years 6 months ago
2006
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
170
click to vote
FMSD
2006
15 years 6 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
157
click to vote
IJNSEC
2008
15 years 6 months ago
2008
This paper presents an evaluation of the security architecture employed in the General Packet Radio Services (GPRS). More specifically, the security measures applied to protect th...
145
click to vote
CCE
2007
15 years 6 months ago
2007
Ontologies reflect our view of what exists and developing ontologies for a given domain requires a common context. This context can be characterized explicitly by means of an uppe...
139
click to vote
INFORMS
2008
15 years 6 months ago
2008
Edge-finding algorithms for cumulative scheduling are at the core of commercial constraint-based schedulers. This paper shows that Nuijten's edge finder for cumulative schedu...