Sciweavers

7 search results - page 1 / 2
» Generix never gives up
Sort
View
JSYML
2006
84views more  JSYML 2006»
13 years 5 months ago
Generix never gives up
We prove conjugacy and generic disjointness of generous Carter subgroups in groups of finite Morley rank. We elaborate on groups with a generous Carter subgroup and on a minimal c...
Eric Jaligot
IFL
2007
Springer
141views Formal Methods» more  IFL 2007»
13 years 11 months ago
Partial Parsing: Combining Choice with Commitment
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
Malcolm Wallace
ICDE
2006
IEEE
131views Database» more  ICDE 2006»
13 years 11 months ago
On Potential Validity of Document-Centric XML Documents
Document-centric XML document creation is a process of marking up textual content rather than typing text in a predefined structure. It turns out that, although the final docume...
Ionut Emil Iacob, Alex Dekhtyar, Michael I. Dekhty...
ICNS
2006
IEEE
13 years 11 months ago
Pervasive Service Platform (PSP): Facilitating Pervasive Services
— Pervasive computing is a new and emerging technology. The concept of pervasiveness and its deployment into reality are still not well aligned. This is because the vision of per...
Fiona Mahon, Jelena Mitic, Micheal Crotty, Kevin D...
ACSAC
2003
IEEE
13 years 10 months ago
An Intrusion-Tolerant Password Authentication System
In a password-based authentication system, to authenticate a user, a server typically stores password verification data (PVD), which is a value derived from the user’s password...
Xunhua Wang, Mohammad Hossain Heydari, Hua Lin