Sciweavers

4258 search results - page 729 / 852
» Languages and Interactive Software Development
Sort
View
CIA
2004
Springer
15 years 8 months ago
Society-Centered Design for Socially Embedded Multiagent Systems
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
Toru Ishida
VLDB
2002
ACM
83views Database» more  VLDB 2002»
15 years 2 months ago
Searching on the Secondary Structure of Protein Sequences
In spite of the many decades of progress in database research, surprisingly scientists in the life sciences community still struggle with inefficient and awkward tools for queryin...
Laurie Hammel, Jignesh M. Patel
RAS
2008
150views more  RAS 2008»
15 years 2 months ago
Logic-based robot control in highly dynamic domains
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Alexander Ferrein, Gerhard Lakemeyer
JLP
2011
94views more  JLP 2011»
14 years 10 months ago
Permission to speak: A logic for access control and conformance
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
CADE
2005
Springer
16 years 3 months ago
Privacy-Sensitive Information Flow with JML
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
Guillaume Dufay, Amy P. Felty, Stan Matwin