5863 search results - page 1086 / 1173 » On Model-Checking of P Systems |
158
click to vote
DSS
2002
15 years 3 months ago
2002
Since the early 1970s, decision support systems (DSS) technology and applications have evolved significantly. Many technological and organizational developments have exerted an im...
133
click to vote
JAIR
1998
15 years 3 months ago
1998
Scheduling dialogs, during which people negotiate the times of appointments, are common in everyday life. This paper reports the results of an in-depth empirical investigation of ...
135
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we derive aggregate separation bounds, named after Davenport-MahlerMignotte (DMM), on the isolated roots of polynomial systems, specifically on the minimum distance ...
170
click to vote
TISSEC
2010
14 years 10 months ago
2010
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...
187
click to vote
EDBT
2011
ACM
14 years 7 months ago
2011
ACM
The popularity of batch-oriented cluster architectures like Hadoop is on the rise. These batch-based systems successfully achieve high degrees of scalability by carefully allocati...