4890 search results - page 408 / 978 » From system specifications to component behavioral models |
180
click to vote
PASTE
2004
ACM
16 years 14 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
220
Voted
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
187
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In times of web 2.0 and its strong focus on user interaction in business models, entrepreneurs and investors of internet businesses often back up their ambitious growth expectatio...
200
Voted
HICSS
2005
IEEE
16 years 20 days ago
2005
IEEE
— Building a good cooperation in the P2P resource sharing is a fundamental and challenging research topic because of peer anonymity, peer independence, high dynamics of peer beha...
203
click to vote
HT
2004
ACM
16 years 14 days ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...