4987 search results - page 778 / 998 » Fuzzifying P Systems |
165
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
Location technologies allow employers to monitor the location of employees. The technologies range from global positioning systems able to determine outdoor locations worldwide to...
168
click to vote
APLAS
2005
ACM
16 years 2 days ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
169
click to vote
SIGECOM
2005
ACM
16 years 2 days ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
158
click to vote
SPAA
2005
ACM
16 years 2 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
162
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...