2210 search results - page 302 / 442 » Applying a Model-based Approach for Embedded System Developm... |
109
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
118
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
98
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
144
Voted
CMSB
2007
Springer
15 years 8 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. ...
104
click to vote
ITCC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract: Evidence of some attacks can be manifested by abnormal sequences of system calls of programs. Most approaches that have been developed so far mainly concentrate on some p...