23915 search results - page 4426 / 4783 » Management |
168
click to vote
SCOPES
2005
Springer
16 years 8 days ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
171
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
196
click to vote
SSD
2005
Springer
16 years 8 days ago
2005
Springer
Most recent research on querying and managing data streams has concentrated on traditional data models where the data come in the form of tuples or XML data. Complex types of strea...
234
click to vote
STORYTELLING
2005
Springer
16 years 8 days ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
179
click to vote
TCGOV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We describe a web-based system to support groups in elaborating participatory budgets. Rather than using physical meetings with voting mechanisms, we promote virtual meet...