1888 search results - page 285 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
157
click to vote
LREC
2010
15 years 6 months ago
2010
The Text Analysis Conference (TAC) is a series of Natural Language Processing evaluation workshops organized by the National Institute of Standards and Technology. The Knowledge B...
309
click to vote
SACMAT
2011
ACM
14 years 7 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we de�...
134
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...
154
click to vote
RE
1999
Springer
15 years 9 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
150
click to vote
JAR
1998
15 years 4 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...