3319 search results - page 215 / 664 » Type Theoretical Databases |
102
click to vote
IFIPTCS
2000
15 years 2 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
SPIN
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
CTRS
1987
15 years 2 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
CSE
2009
IEEE
15 years 2 months ago
2009
IEEE
Broadening adoption of social media applications within the enterprise offers a new and valuable data source for insight into the social structure of organizations. Social media ap...
CSE
2009
IEEE
15 years 2 months ago
2009
IEEE
— Online Social Networks are communities of people who share common interests. These types of networks are used by millions of people around the world. The massive adoption of th...