683 search results - page 92 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
105
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
108
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
108
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
123
click to vote
BTW
2001
Springer
15 years 6 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
133
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
If sufficient attention is not paid to the information models on which Learning Platforms are based the ability to deliver rich functionality is hindered. This paper describes the...