4460 search results - page 426 / 892 » Formal methods for interactive systems |
249
Voted
CMSB
2007
Springer
16 years 1 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
175
Voted
ITS
2004
Springer
16 years 1 months ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
209
click to vote
CDC
2009
IEEE
16 years 12 days ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
206
Voted
DAC
1994
ACM
15 years 11 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
189
Voted
COORDINATION
2010
Springer
15 years 11 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...