5216 search results - page 729 / 1044 » Planning as Model Checking |
174
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
172
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
163
click to vote
DRM
2004
Springer
16 years 12 hour ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...
173
click to vote
FASE
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
170
click to vote
FSE
2004
Springer
16 years 6 hour ago
2004
Springer
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...