1336 search results - page 185 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
126
Voted
ENTCS
2007
15 years 3 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
121
Voted
JIB
2007
15 years 3 months ago
2007
We are developing a vendor-independent archive and on top of that a data warehouse for mass spectrometry metabolomics data. The archive schema resembles the communitydeveloped obj...
110
click to vote
WSC
1998
15 years 4 months ago
1998
The design of a quality timetable for the Dutch Railways is a complex task, because of the characteristics of the railway services. The complexity of the network and the heavily i...
122
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
136
Voted
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...