3468 search results - page 266 / 694 » An open logical framework |
183
click to vote
ECIS
2003
15 years 8 months ago
2003
In this study we explore the concept of business model and its essential elements in software business. There are no rigorous previous definitions or descriptions of the term busi...
202
Voted
DASFAA
2007
IEEE
15 years 6 months ago
2007
IEEE
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...
203
click to vote
JSW
2007
15 years 6 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
201
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
241
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...