Sciweavers

7366 search results - page 457 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
EUROPKI
2009
Springer
15 years 4 months ago
ABUSE: PKI for Real-World Email Trust
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
Chris Masone, Sean W. Smith
TOOLS
2009
IEEE
16 years 1 months ago
Reusing and Composing Tests with Traits
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
Stéphane Ducasse, Damien Pollet, Alexandre ...
HICSS
2005
IEEE
99views Biometrics» more  HICSS 2005»
16 years 11 days ago
The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature
Understanding the use of diagrams and other components of scholarly systems-related papers may inform us about the papers, the field, and the way we think. We analyze 495 papers c...
Jeffrey V. Nickerson
WWW
2011
ACM
15 years 1 months ago
Ranking in context-aware recommender systems
As context is acknowledged as an important factor that can affect users’ preferences, many researchers have worked on improving the quality of recommender systems by utilizing ...
Minsuk Kahng, Sangkeun Lee, Sang-goo Lee