Sciweavers

6253 search results - page 1008 / 1251
» Use Case Modeling Guidelines
Sort
View
ATAL
2009
Springer
15 years 11 months ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
TLCA
2009
Springer
15 years 11 months ago
Initial Algebra Semantics for Cyclic Sharing Structures
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
Makoto Hamana
HASKELL
2009
ACM
15 years 11 months ago
Parallel performance tuning for Haskell
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
Don Jones Jr., Simon Marlow, Satnam Singh
SIN
2009
ACM
15 years 11 months ago
An information security ontology incorporating human-behavioural implications
Security managers often regard human behaviour as a security liability, but they should accommodate it within their organisation’s information security management procedures. To...
Simon Edward Parkin, Aad P. A. van Moorsel, Robert...
HAPTICS
2008
IEEE
15 years 10 months ago
On-Line Interactive Dexterous Grasping
In this paper we describe a system that combines human input and automatic grasp planning for controlling an artificial hand, with applications in the area of hand neuroprosthetic...
Matei T. Ciocarlie, Peter K. Allen
« Prev « First page 1008 / 1251 Last » Next »