9507 search results - page 293 / 1902 » Time-based language models |
116
click to vote
ENTCS
2006
15 years 4 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
150
click to vote
DBPL
2001
Springer
15 years 9 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
153
click to vote
PPDP
1999
Springer
15 years 9 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
159
click to vote
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
136
click to vote
CLIMA
2007
15 years 6 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...