Sciweavers

280 search results - page 23 / 56
» see 2010
Sort
View
EJIS
2006
79views more  EJIS 2006»
13 years 10 months ago
A genealogical study of boundary-spanning IS design
This paper presents the design of a business-aligned information system (IS) from an actor-network perspective, viewing non-human intermediaries jointly as inscriptions and bounda...
Susan Gasson
EJIS
2006
108views more  EJIS 2006»
13 years 10 months ago
New frontiers for information systems research: computer art as an information system
This paper proposes extending the frontiers of information systems (IS) research by seeing computer art as a kind of information system. It explores some research questions that a...
Briony J. Oates
ENTCS
2006
136views more  ENTCS 2006»
13 years 10 months ago
Classically-controlled Quantum Computation
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
Simon Perdrix, Philippe Jorrand
FMAM
2010
223views Formal Methods» more  FMAM 2010»
13 years 7 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
CNSM
2010
13 years 7 months ago
Automated and secure IPv6 configuration in enterprise networks
Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability...
Frederic Beck, Olivier Festor, Isabelle Chrisment,...