138 search results - page 23 / 28 » Integrating Formal Methods with Model-Driven Engineering |
88
Voted
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
93
Voted
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
ACL
2006
14 years 11 months ago
2006
This paper explores the role of information retrieval in answering "relationship" questions, a new class complex information needs formally introduced in TREC 2005. Sinc...
DAGSTUHL
2006
14 years 11 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...