2036 search results - page 141 / 408 » A generic type-and-effect system |
89
Voted
AFP
2008
Springer
15 years 7 months ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
99
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Enterprise systems are located within the antinomy of appearing as generic product, while being means of multiple integrations for the user through configuration and customisation...
101
click to vote
SIAMCOMP
2000
15 years 17 days ago
2000
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system ...
125
Voted
SSS
2010
Springer
14 years 11 months ago
2010
Springer
Complex systems experience dramatic changes in behavior and can undergo transitions from functional to dysfunctional states. An unstable system is prone to dysfunctional collective...
111
click to vote
NTMS
2008
IEEE
15 years 7 months ago
2008
IEEE
—Peer-to-Peer (P2P) systems gain much attention in recent years. According to many statistics, P2P systems contribute a significant portion of the Internet traffic. Individual In...