778 search results - page 103 / 156 » Live Social Semantics |
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
WCRE
2008
IEEE
14 years 3 months ago
2008
IEEE
The research domain of aspect mining studies the problem of (semi-)automatically identifying potential aspects and crosscutting concerns in a software system, to improve the syste...
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
Prolonged secure communication requires trust relationships that extend throughout a connection’s life cycle. Current tools to establish secure connections such as SSL/TLS and S...
ECOOP
2010
Springer
14 years 1 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
STACS
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...