2253 search results - page 251 / 451 » An Approach to Specifying Software Frameworks |
146
click to vote
WCRE
2007
IEEE
16 years 20 days ago
2007
IEEE
The software industry is increasingly confronted with the issues of understanding and maintaining a special type of object-oriented systems, namely enterprise applications. A spec...
172
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
153
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
204
click to vote
SEUS
2007
IEEE
16 years 20 days ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
172
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...