771 search results - page 49 / 155 » Modelling and Analysing Socio-Technical Systems |
ECRTS
2005
IEEE
15 years 4 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
CIE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
77
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
ECIS
2001
15 years 6 days ago
2001
Using a knowledge-based theory of the firm within the larger framework of resource-based theory, this ongoing study examines how firm knowledge structures are disrupted under diff...
APSEC
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...