4476 search results - page 608 / 896 » Modeling software architectures in the Unified Modeling Lang... |
184
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
282
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
145
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Despite many sensor, hardware, networking, and software advances, it is still quite difficult to build effective and reliable context-aware applications. We propose to build a con...
191
click to vote
ICFEM
2007
Springer
16 years 27 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
161
Voted
LREC
2008
15 years 8 months ago
2008
Originally conceived as a "naive" baseline experiment using traditional n-gram language models as classifiers, the NCLEANER system has turned out to be a fast and lightw...