1788 search results - page 276 / 358 » Model Theory for Process Algebra |
134
click to vote
FOIKS
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
115
click to vote
METRICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
133
click to vote
ICWL
2003
Springer
15 years 9 months ago
2003
Springer
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...
153
click to vote
ASYNC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
121
click to vote
ICIS
2001
15 years 5 months ago
2001
Do unsophisticated consumers fall prey to Internet consumer frauds? Why? To answer these questions this paper integrates two streams of empirical research: the process-oriented th...