2638 search results - page 486 / 528 » Frameworks for Reasoning about Agent Based Systems |
142
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper presents the case of Arinia, a custommade piece of social software with strong similarities to today’s microblogging applications. Arinia has been in use in a medium-...
166
click to vote
SSDBM
2008
IEEE
16 years 16 days ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
176
click to vote
DEXAW
2007
IEEE
16 years 15 days ago
2007
IEEE
The prerequisites of success and reasons for failure for enterprise integration projects are still not wellunderstood as evidenced by large failure rates, including cost or schedu...
133
click to vote
CCS
2007
ACM
16 years 10 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
142
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...