4418 search results - page 52 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
239
Voted
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...
126
click to vote
WSE
2006
IEEE
15 years 9 months ago
2006
IEEE
An approach for mining repositories of web-based user documentation for patterns of evolutionary change in the context of internationalization and localization is presented. Sets ...
129
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
134
click to vote
OPODIS
2004
15 years 5 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
108
Voted
SOCRATES
2008
15 years 5 months ago
2008
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...