10916 search results - page 287 / 2184 » On Constructive Connectives and Systems |
179
click to vote
3DIC
2009
IEEE
16 years 1 months ago
2009
IEEE
- This paper describes a new architectural paradigm for fully connected, single-hop system level interconnection networks. The architecture is scalable enough to meet the needs of ...
185
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
132
click to vote
ECIS
2001
15 years 8 months ago
2001
This paper presents a case study showing how Repertory Grid Analysis (RGA) can be used to construct shared meaning during information systems development, implementation and use. ...
150
click to vote
WMCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
Shair is a system allowing contracted mobile phone users to benefit from their unused quota minutes and text messages. Unused minutes and texts are shared via opportunistic local...
143
Voted
DCW
2000
Springer
15 years 11 months ago
2000
Springer
We contemplate extending the applicability of our current implementation of a DSM operating system from the locally connected PC cluster to large scale intranets and multiple feder...