Sciweavers

31387 search results - page 381 / 6278
» Abstracts
Sort
View
FUIN
2007
116views more  FUIN 2007»
15 years 6 months ago
Path Compression in Timed Automata
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
Agata Janowska, Wojciech Penczek
INTERACTIONS
2002
253views more  INTERACTIONS 2002»
15 years 6 months ago
Conceptual models: begin by designing what to design
logy Abstracts/EyeWire, Inc.
Jeff Johnson, Austin Henderson
ELECTRONICMARKETS
1998
81views more  ELECTRONICMARKETS 1998»
15 years 6 months ago
Success and Failure Factors for Implementing Effective Electronic Markets
AbstractAbstractAbstractAbstract Despite the growth of research interest into electronic markets, there is still little information available on the ways in which an electronic mar...
Trevor Fong, Danielle C. Fowler, Paula M. C. Swatm...
ISF
2002
62views more  ISF 2002»
15 years 6 months ago
A Theory of Object-Oriented Design
Abstract. Progress was made in the understanding of object
Amnon H. Eden