Sciweavers

1522 search results - page 67 / 305
» Supporting Dynamic Process Specifications Using Communicatio...
Sort
View
VLDB
1989
ACM
114views Database» more  VLDB 1989»
15 years 1 months ago
Extending the Relational Algebra to Capture Complex Objects
An important direction in database research for non-standard applications (e.g. engineering or design applications) deals with adequate support for complex objects. Without doubt,...
Bernhard Mitschang
ITS
1998
Springer
95views Multimedia» more  ITS 1998»
15 years 2 months ago
Using Induction to Generate Feedback in Simulation Based Discovery Learning Environments
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...
Koen Veermans, Wouter R. van Joolingen
ASE
2008
120views more  ASE 2008»
14 years 10 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
AOSD
2009
ACM
15 years 7 days ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
ICSE
2010
IEEE-ACM
14 years 11 months ago
DETERMIN: inferring likely deterministic specifications of multithreaded programs
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
Jacob Burnim, Koushik Sen