1926 search results - page 278 / 386 » Modeling and Model Checking Software Product Lines |
137
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is focused on the coordination of order and production policy between buyers and suppliers in supply chains. When a buyer and a supplier of an item work independently, ...
228
click to vote
Book
"Can computers meaningfully process human language? If this is difficult, why? If this is possible, how? This book introduces the reader to the fascinating science of computat...
111
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
123
click to vote
AIL
2004
15 years 4 months ago
2004
This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system a...
135
Voted
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...