Sciweavers

100 search results - page 2 / 20
» A Pragmatic Implementation of e-Transactions
Sort
View
ISJ
1998
82views more  ISJ 1998»
13 years 5 months ago
Successfully completing case study research: combining rigour, relevance and pragmatism
The organizational and social issues associated with the development, implementation and use of computer-based information systems have increasingly attracted the attention of info...
Peta Darke, Graeme G. Shanks, Marianne Broadbent
ACL
1993
13 years 7 months ago
Guiding an HPSG Parser using Semantic and Pragmatic Expectations
1 Efficient natural language generation has been successfully demonstrated using highly compiled knowledge about speech acts and their related social actions. A design and prototyp...
Jim Skon
TPHOL
1999
IEEE
13 years 10 months ago
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
WOA
2010
13 years 3 months ago
DomoBuilder: A MultiAgent Architecture for Home Automation
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
Andrea Addis, Giuliano Armano
IEEESCC
2005
IEEE
13 years 11 months ago
SOA Without Web Services: a Pragmatic Implementation of SOA for Financial Transactions Systems
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
Ziyang Duan, Subhra Bose, Charles A. Shoniregun, P...