4255 search results - page 516 / 851 » Database: Models, Languages, Design |
194
click to vote
CC
2003
Springer
16 years 1 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
210
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
156
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
In the ITEA2 Do-It-Yourself Smart Experiences project (DIY-SE), we are required to design an ontology-based ambient computing environment to support users to DIY their personalized...
173
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We are developing a computer system which provides information about babies in neonatal intensive care to family members and friends. A key challenge is deciding what information ...
193
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...