Sciweavers

1463 search results - page 189 / 293
» The State of the Art in Language Modeling
Sort
View
101
Voted
TIME
2003
IEEE
15 years 7 months ago
A Novel Approach to Model NOW in Temporal Databases
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
Bela Stantic, John Thornton, Abdul Sattar
108
Voted
ICSOC
2003
Springer
15 years 7 months ago
Model Checking Correctness Properties of Electronic Contracts
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
Ellis Solaiman, Carlos Molina-Jiménez, Sant...
COOPIS
1995
IEEE
15 years 5 months ago
From Organization Models to System Requirements: A 'Cooperating Agents' Approach
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John...
FM
2009
Springer
189views Formal Methods» more  FM 2009»
14 years 11 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
ICEBE
2005
IEEE
168views Business» more  ICEBE 2005»
15 years 7 months ago
Frequency Operators for Condensative Queries over Data Streams
Over a traditional Database Management System (DBMS), the answer to an aggregate query is usually much smaller than the answer to a similar nonaggregate query. Therefore, we call ...
Lisha Ma, Werner Nutt