Sciweavers

1001 search results - page 144 / 201
» Myths in Software Engineering: From the Other Side
Sort
View
HICSS
2009
IEEE
94views Biometrics» more  HICSS 2009»
16 years 1 months ago
A Pragmatic Framework for Ethical Decision Making: The Limits of Professional Codes
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
Robert M. Mason, Kevin Gallagher
FSTTCS
2009
Springer
16 years 22 days ago
The Wadge Hierarchy of Max-Regular Languages
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
Jérémie Cabessa, Jacques Duparc, Ale...
FSTTCS
2007
Springer
16 years 10 days ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
ATAL
2005
Springer
15 years 11 months ago
Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper)
The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic instit...
Pablo Noriega
SERA
2005
Springer
15 years 11 months ago
Bridging the Gap between Analysis and Design Using Dependency Diagrams
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
Simona Vasilache, Jiro Tanaka