575 search results - page 47 / 115 » Towards Electrical, Integrated Implementations of SIMPL Syst... |
MKM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
103
click to vote
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
āWe introduce Zen, a new resource allocation framework that assigns application components to node clusters to achieve high availability for partial-fault tolerant (PFT) applicat...
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
āIn this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol using smart cards for home networks. The proposed scheme is to authenti...
106
click to vote
DILS
2006
Springer
15 years 3 months ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
SLE
2009
Springer
15 years 6 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language speciļ¬cations. Existing approaches to language modularisation are typically either focused on language ...