8179 search results - page 61 / 1636 » The PRACTIONIST Development Tool |
146
click to vote
TELSYS
2002
15 years 5 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
188
click to vote
ICONFERENCE
2011
15 years 10 days ago
2011
Many studies have established the difficulties inherent in both cross-cultural and distance communication. Distance work interferes with close collaboration and trust. Physical di...
141
click to vote
NAR
2011
14 years 8 months ago
2011
The IUPHAR database is an established online reference resource for several important classes of human drug targets and related proteins. As well as providing recommended nomencla...
163
click to vote
CG
1999
Springer
15 years 5 months ago
1999
Springer
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...
163
Voted
UIST
2010
ACM
15 years 3 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...