Sciweavers

7202 search results - page 1133 / 1441
» Software System Engineering: A Tutorial
Sort
View
ISSTA
2000
ACM
15 years 10 months ago
Verifying properties of process definitions
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
EDBTW
2010
Springer
15 years 10 months ago
An architecture for ad-hoc and collaborative business intelligence
The success of organizations or business networks depends on fast and well-founded decisions taken by the relevant people in their specific area of responsibility. To enable time...
Henrike Berthold, Philipp Rösch, Stefan Z&oum...
FOSSACS
2010
Springer
15 years 10 months ago
Degrees of Lookahead in Regular Infinite Games
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a f...
Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
COMPSAC
2009
IEEE
15 years 10 months ago
Cartesian Programming: The TransLucid Programming Language
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
John Plaice, Blanca Mancilla
AVI
2008
15 years 9 months ago
Exploring the role of individual differences in information visualization
In this paper, we describe a user study aimed at evaluating the effectiveness of two different data visualization techniques developed for describing complex environmental changes...
Cristina Conati, Heather Maclaren
« Prev « First page 1133 / 1441 Last » Next »