10458 search results - page 338 / 2092 » Modeling Features at Runtime |
173
click to vote
ANSS
2005
IEEE
16 years 9 days ago
2005
IEEE
When performed on a classical computer, the simulation of quantum circuits is usually an exponential job. The methodology based on Hardware Description Languages is able to isolat...
161
click to vote
QSIC
2005
IEEE
16 years 8 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
172
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
181
click to vote
ICWE
2004
Springer
16 years 1 days ago
2004
Springer
Lookup of services is an important issues in many distributed systems. This paper deals with lookup in service-oriented architectures, such as Web services, P2P systems, GRIDs, or ...
165
click to vote
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...