7681 search results - page 1204 / 1537 » Typed Membrane Systems |
210
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
209
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
172
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Community wireless networks (CWNs) offer free or affordable Internet access for the purpose of improving the well-being of the community. Many questions have been raised about the...
205
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
230
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...