3333 search results - page 533 / 667 » New Invariants for Groups |
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
EUC
2004
Springer
14 years 1 months ago
2004
Springer
Servicing mobile hosts over the Internet has some problems including nodes' location, independent addressing, address conversion and packet forwarding as well as mobile host&#...
CLEF
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper describes the participation of a combined approach in GeoCLEF-2006. We have participated in Monolingual English Task and we present joint work of the three gro...