3333 search results - page 533 / 667 » New Invariants for Groups |
186
click to vote
EUROMICRO
2009
IEEE
15 years 9 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...
166
click to vote
ACSC
2004
IEEE
15 years 9 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 ...
167
click to vote
CCS
2006
ACM
15 years 9 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...
168
click to vote
EUC
2004
Springer
15 years 9 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&#...
146
click to vote
CLEF
2006
Springer
15 years 9 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...