9325 search results - page 369 / 1865 » The decentralized implementability problem |
189
click to vote
AMAI
1999
Springer
15 years 4 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
106
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
127
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Most authentication protocols designed for ubiquitous computing environments try to solve the problem of intuitive, scalable, secure authentication of wireless communication. Due ...
125
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
— There is a need to replace existing mechanical and electromechanical systems with new ones, where functionality will be mainly implemented by software. The traditional approach...
182
click to vote
SCCC
2008
IEEE
15 years 11 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...