7380 search results - page 497 / 1476 » Engineering Software Intensive Systems |
132
click to vote
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
127
Voted
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
Context has been applied to a broad range of domains and systems ranging from location-based tourist applications to motion capture. An area relatively under-represented in the li...
122
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
132
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and web applications. Though being ...
126
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...