4360 search results - page 74 / 872 » Socio-technical systems: From design methods to systems engi... |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
MSR
2005
ACM
14 years 2 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
The TaskTracer system seeks to help multi-tasking users manage the resources that they create and access while carrying out their work activities. It does this by associating with...
AUTONOMICS
2008
ACM
13 years 11 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...