Sciweavers

304 search results - page 42 / 61
» Privacy-Enhanced Event Scheduling
Sort
View
NORDICHI
2004
ACM
14 years 25 days ago
The BRIDGE awareness workspace: tools supporting activity awareness for collaborative project work
The BRIDGE awareness workspace is a synchronous collaborative tool supporting activity awareness for longterm (weeks/months) group projects. This workspace features integrated tim...
Craig H. Ganoe, Gregorio Convertino, John M. Carro...
HYBRID
1995
Springer
13 years 11 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
ATMOS
2008
187views Optimization» more  ATMOS 2008»
13 years 9 months ago
Solving Periodic Timetable Optimisation Problems by Modulo Simplex Calculations
In the last 15 years periodic timetable problems have found much interest in the combinatorial optimization community. We will focus on the optimisation task to minimise a weighted...
Karl Nachtigall, Jens Opitz
SPE
2002
119views more  SPE 2002»
13 years 7 months ago
HARTEX - a safe real-time kernel for distributed computer control systems
: The paper presents a hard real-time kernel for distributed computer control systems (DCCS) highlighting a number of novel features, such as integrated scheduling of hard and soft...
C. K. Angelov, I. E. Ivanov, Alan Burns
MEMOCODE
2010
IEEE
13 years 5 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler